Definition des
... ... ... Operateur(MachinePerforatrice) (*)
Zerstarten